刚刚,Claude Fable 5.2炸场!30小时完成费马大定理形式化
刚刚,Claude Fable 5.2炸场!30小时完成费马大定理形式化Anthropic发布Claude Fable 5.2和Claude Mythos 5.2,提升编程、推理与科研能力,1000个Fable 5.2智能体在30小时内完成费马大定理形式化。
搜索
Anthropic发布Claude Fable 5.2和Claude Mythos 5.2,提升编程、推理与科研能力,1000个Fable 5.2智能体在30小时内完成费马大定理形式化。
用户每月掏几十甚至 200 美元订阅 Claude Code,把本地终端交给它干活,它却在后台把你的真实登录邮箱、姓名乃至公司内部代码库地址,塞进 User-Agent 请求头里发给了外部网站!
Anthropic发布35页报告称,通过分析逾20万次Claude与Claude Code对话并调查528位学者,AI可接手27%至52%的科研工时,中位数为38%,全自动推进非动手任务时部分学科产出可提升15至16倍。
Anthropic以内部Claude模型为核心的Harness系统仅用3天攻克悬而未决18年的Aaronson-Ambainis猜想,定理与推论已完成Lean形式化,网友推测该模型可能是非公开版Claude Model 4。
Forever Security披露,攻击者可借网页将恶意AGENTS.MD静默写入下载目录,诱导Codex和Claude Code执行篡改配置、窃取Token及安装恶意依赖等指令,测试攻击成功率分别超过90%和约50%。
DeepSeek Harness 团队发表《Super-agent 设计探索》后,新智元实测 GitHub 星标超8.4万的开源公司 LobeHub,其 Agent 平台已让 Claude 与 ChatGPT 协作生成 AI 日报,验证多 Agent 可持续执行并交付结果。
菲尔兹奖物理学家威滕在33页独作论文中致谢Claude Opus 5.5协助细节,并采纳其提出的边界塌缩映射关键构造,用于构建非微扰手征费米子配分函数。
据 The Information 报道,OpenAI 最快本周五推出 GPT-6.2 Astra、Sol 等下一代模型;Anthropic Claude Code 与 Cowork 总产品负责人 Cat Wu 已离职并加入 OpenAI Core Products 部门。
无语了家人们。。。
刚刚,前 Claude Code 产品负责人 Cat Wu 宣布加入OpenAI ,负责核心产品的产品管理,根据掌管重置的 Tibo 一起工作,OpenAI 总裁 Greg Brockman 也发推表示欢迎。